Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
391	PDF Document Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-10-15 05:36:10 Automated theorem proving Boolean algebra Constraint programming Logic in computer science Propositional calculus DPLL algorithm Boolean satisfiability problem Satisfiability Modulo Theories Unit propagation Theoretical computer science Mathematical logic Mathematics
392	PDF Document Add to Reading List Source URL: www.informatik.uni-ulm.de Language: English - Date: 2006-03-28 09:09:36 Constraint programming Programming paradigms Logic programming Constraint logic programming Declarative programming Constraint satisfaction problem Programming language Claire SQL Software engineering Computing Computer programming
393	PDF Document Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-09 22:05:51 Artificial intelligence Constraint satisfaction problem Backjumping Constraint satisfaction Constraint logic programming Backtracking Hybrid algorithm Assignment Constraint programming Software engineering Computer programming
394	PDF Document Add to Reading List Source URL: wps.aw.com Language: English - Date: 2008-06-24 17:03:38 Lisp programming language Automated theorem proving Functional languages Constraint programming Object-oriented programming Prolog Logic programming Lisp Planner Computing Software engineering Computer programming
395	PDF Document Add to Reading List Source URL: cmr.soc.plymouth.ac.uk Language: English - Date: 2010-12-03 13:19:16 Programming paradigms Mathematics of music Computer music Computer-aided design Serialism Constraint logic programming Musical composition Logic programming Hierarchy Music Constraint programming Software engineering
396	PDF Document Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:03:48 Programming paradigms Constraint programming Logic programming Oz Concurrent computing Concurrency Constraint logic programming Parallel computing German Research Centre for Artificial Intelligence Software engineering Computing Computer programming
397	PDF Document Add to Reading List Source URL: www.bracil.net Language: English - Date: 2007-05-26 07:27:01 Constraint programming Logic in computer science Combinatorial optimization Heuristics Operations research Guided Local Search WalkSAT Local search Maximum satisfiability problem Theoretical computer science Mathematics Applied mathematics
398	PDF Document Add to Reading List Source URL: www.bracil.net Language: English - Date: 2007-05-26 07:26:52 Logic in computer science Operations research Constraint programming NP-complete problems Heuristics Guided Local Search Local search Boolean satisfiability problem Tabu search Theoretical computer science Applied mathematics Mathematics
399	PDF Document Add to Reading List Source URL: strasheela.sourceforge.net Language: English - Date: 2007-02-24 15:18:26 Computer programming Computing Constraint satisfaction problem Constraint satisfaction Logic programming Abstraction Constraint programming Programming paradigms Software engineering
400	PDF Document Add to Reading List Source URL: cohave.ifit.uni-klu.ac.at Language: English - Date: 2013-01-03 09:54:41 Theoretical computer science Constraint satisfaction Backtracking Mathematical optimization Decision tree model Constraint logic programming Decomposition method Constraint programming Software engineering Computer programming

UPDATE